Minkowski-Farkas theorem

明考夫斯基-法尔卡斯定理